Eff Directly in OCaml
نویسندگان
چکیده
منابع مشابه
OCaml-Java: OCaml on the JVM
This presentation introduces the OCaml-Java project whose goal is to allow compilation of OCaml sources into Java bytecodes. The ability to run OCaml code on a Java virtual machine provides the developer with means to leverage the strengths of the Java ecosystem lacking in the OCaml world. Most notably, this includes access to a great number of libraries, and foundations for shared-memory concu...
متن کاملArray Optimizations in OCaml
OCaml is a modern programming language with many advanced features, yet its strict sequential semantics and consequent lack of support for locality-enhancement optimizations on arrays prohibit its use in numerically intensive computation. In this paper we show that it is possible to perform such optimizations by creating safe regions in which array bounds checking is unnecessary. These optimiza...
متن کاملOCaml-Java: Typing Java Accesses from OCaml Programs
Functional languages, although they often enable great developer productivity and ease software maintenance, are commonly hampered by smaller communities and fewer industrial-strength players when compared to mainstream languages. To partially overcome these problems, it is usual to resort to a form of interoperability that allows a functional language to take advantage of libraries originally ...
متن کاملHaskell for OCaml programmers
This introduction to Haskell is written to optimize learning by programmers who already know OCaml.
متن کاملNamespaces for OCaml: a proposal
2 Our proposal 2 2.1 A hierarchical compilation environment . . . . . . . . . . . . . . . . 3 2.2 A language of namespace construction . . . . . . . . . . . . . . . . . 3 2.3 The view from the language . . . . . . . . . . . . . . . . . . . . . . . 5 2.4 Compilation unit information . . . . . . . . . . . . . . . . . . . . . . 6 2.5 Restrictions and naming conventions . . . . . . . . . . . . . . ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2018
ISSN: 2075-2180
DOI: 10.4204/eptcs.285.2